len

(alias) pure function len(): integer

Deprecated

Use 'size' instead

Gets the size of the map.

Alias

Alias target

Since

0.6.0